integral of sqrt(x^2-1)